some tests for Envelope class done