Hacking a bit on prelude to my preferences