That is indeed a typo.  Sorry, will fix.