Fix accidental commit of partial prelude changes