pgt: Hmm... that must be a bug. You should file a bug report if you haven't done it already (go to the message and then click the image of a bug in the upper right corner).