Flycheck updates

Minor fixes.