Fix flycheck error reporting