Bug#933732: Fixed upstream

[Simon Richter]

Hi,

I've submitted an updated version of this patch upstream, and it was merged
as commit e78d816e on September 5th.

   Simon