re: #280 HappyWarrior

You’d think at least one editor would catch that.

Probably rushed to press. First printings often have copy edit fails.