small fix for flycheck