A typo has been fixed.