fix definite envelope contents