update ENVELOPE syntax