Get rid of some superfluous setups

Change some prelude defaults that I don't like