A typo was fixed.