Sorry, fixing a bug I introduced/found.

Sorry for the extra noise.