Mybad, thanks for catching that.  Will be fixed in the next commit.