Minor linting fixes