Minor edits throughout