I made a mistake

This is going away.  Don't think about it.
And it is fixed.

Still don't think about it.  All is well.