I hope that it’s a typo, but it’s still funny.