Fix flycheck makeinfo error