Fix typo in prelude-ido