correct a minor error