Just to confirm that as of 1.19, this bug can be closed. I just ran into it today on a system that was still running 1.16, but as soon as I upgraded to 1.19 it was taken care of.
-- Alex Malinovich Support Free Software, delete your Windows partition TODAY! Encrypted mail preferred. You can get my public key from any of the pgp.net keyservers. Key ID: A6D24837 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]