Tiny bit of linting