Fix one typo (fixes #256)