Hi, This bug is now fixed in the upstream. Next version is expected to be released in September 20th. Thank you for the report.
-- Reijo -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

