Fixing issues reported by Flycheck