fix typo (reported by swildner)