Emacs messed up some of my formatting...