Repaired a minor bug