Update notes for submitted changes

* Fix LiftParser for occasional assertion failure