Some slight linting