[MinutiaeMan]

I had this exact same problem a while back, except it was with 5.1.3, and only happened in the Bookmarks window. Very weird. (Naturally, I reported it!)