Fix warnings reported by Flycheck