More minor edits to paper