You're absolutely right, jheem. It had to be some hard-assed copy editor!