Fix one minor error