Minor linting changes