fix a minor error