use (ac-flyspell-workaround)
use smex for F8
fix a bug