more envelope type exceptions