More customizations
flycheck more