minor error, repaired