This is an optimisation, not a bugfix. Thanks to Jim Bos for spotting it.

Thanks to Dave Reisner.

Thanks to Gildas Le Nadan.

Thanks to Moritz Warning.

Thanks to Christof Meerwald for the bug report.

Thanks to sven falpin for finding this.