Fixing a small linting issue and changing a comment.