Some stylistic changes and content corrections