slight formatting on emacs