Update notes for submitted changes

* Fix compilation error with older versions of GCC