Fix Envelope.py