Was a typo, though… I don’t think the group to which that was assigned realy would have found much hilarity in it, to be honest.