The patch attached to <https://bugs.debian.org/789696> also fixes this bug. -- Gunnar Hjalmarsson https://launchpad.net/~gunnarhj