I'm not sure if you can call this a bug or not but, I thought I would point this out.
I was trying to find out where the top menu is getting it's width properties from ( haven't found it yet ) and thought I would see if maybe it was coming from the Languages. so I searched this " __top_menu__ " and well I got some results back along with the admin top menu with images.