Minor changes in init.el