Fix some wonky formatting, remove spurious emacs major mode marker. No
functionality change!