fix typo in previous bugfix noticed by bart vorselaars