Fixed #1: Wrong error message in GenericContextEnvelope.php