Correct typo of prelude