Fix for flycheck