Minor edits to ms document