It was a typo. I don’t really care for pedants who come in swinging with their nit-picking, so I’m not too inclined to give them pleasantries they aren’t willing to give others.