Fix #8 (thanks to @haraldschilly for noticing this).