Minor edit; typo.