Update notes for submitted changes

* Fix missing import (trivial).