Whoops, yeah that's my mistake. 1.23 is out with another small fix and its version # should be reported correctly.
