Hi! This is upstream. The suggestion is fine and has been applied in SVN 23742 in the development version (will be part of 0.9.4).
DDs: patching as suggested should be absolutely harmless. Thanks for reporting! Christian -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

