Redundant information in contiguous paragraphs. Removed first of two mentions, for clarity.