Fix a minor issue.