made some minor corrections