Update example comparison for ST_Envelope