My bug was marked as a duplicate of 145135: http://bugzilla.gnome.org/show_bug.cgi?id=145134 which was only opened on the 6/29. It's fixed in CVS, they say. Curious, we both noticed it within a week of each other.