Some minor polishing of the text