Fixes remaining prelude errors