Yes, that was a typo.  Will fix.