A typo was fixed