fix major mode name of alex-mode