fix typo (reported by mechatron)