Fixed a linting issue.