Fixed bug in envelope-envelope-overlap operator.