Hi Gregarious, bad things happens but what to worry about? I hope CCleaner would come up with the fix but in meantime, you can try [advertisement deleted] registry cleaner, a good alternative to CCleaner. But of course, CCleaner would always be on top for clearing cache's, junks etc.
Hope this helps.