Thanks for responding, Tech. I did reboot the computer but it did not help. Hopefully, it is temporary and will resolve itself when it automatically updates to 110530-1. Otherwise I will try the repair route that you suggested if the problem remains (I learnt something new, thanks). Avast! is running at least so I am not unprotected.