Update notes for submitted changes

* Fix unused variables 1/2: add more asserts