Revised English typo.