some minor corrections