Minor edits to