Fix one last linting errors