Fixing some prelude defaults