Update notes for submitted changes

* Fix store consistency checking bugs.