Update notes for submitted changes

* jsoncheck: fix handling of formatting argument