Update notes for submitted changes

* Set as-instr to use printf instead of echo