Minor linting fix