---minor corrections