one slight fix to Envelope