Fixes prelude errors