Text edits

See HTML comments for detail!