Fix typo in prelude-ido

Wrong symbol in the ido module caused errors compiling.