Minor edit.