More linting...