Minor copyediting, no new content added.