Minor edit, catching one of my edits that Xu missed