Update notes for submitted changes

* Enable exception format checking in the tests.