Proper linting included directly