Fix one typo (fixes #217)