Minor linting stuff