* minor corrections