Update notes for submitted changes

* Fix use the fact that empty sequences are false.