corrected some banal errors