reverted previous correction

Further testing indicates the original was correct.
I tried "roll back" to undo this, but it did not seem to work. . .