This problem was mentioned in passing in 171.
Fixed with commit 1336 (that commit message cites the wrong bug number). This indeed is the bug that fixes.
This problem was mentioned in passing in 171.