fix one minor error