Bugfixes for Debian bug reports #767141,#767142,#767143