No, its not a bug... Just download the updated lockscreen and save it to /MIUI/themes.
It begins with : http://miuiandroid.com/community/threads/miui-v4-new-lockscreen-theme-updated-2-3-18.15671/#post-112017
and there are many tweaks etc for the same in the Themes forums. :)
--
Best,
AK