a minus sign had been somehow omitted