Yes. Thanks for catching this.  Fixed
in a8e89aff6ed3911519d645c51ed04c6c86c91042.