Update HOWTO_envelope.m