Fix reading from archived file in example