chiark / gitweb /
Fixes #97, cherry picked from commit 619a0504c508d04440b47881bd72573009672a3b