Update notes for submitted changes

* fixes use the fact that empty sequences are false