A typo is fixed.