some corrects
some fixes; formatting