It worked, though maybe not how you thought it would :-)  The pos reader seems to read in a single "x y" pair, and the envelope requires two of these.  So the code immediately below (ines 155,156) uses the pos reader to grab the coords.  Maybe there is a way to get the entire envelope in one call?