Fix a minor bug.