fix the Prelude for the upcoming changes