typo (fixes #455)