fix a minor bug.