Fix bad pattern-match in CRDT stats code.