Fix some bugs in init.el