Minor additions to init.el