Fix bug created by Lint correction.