many minor corrections