Explicitly call stream.close() in the index code.

This isn't in a finally block, but it is 'good enough'. At least .close is
being called rather than waiting for the garbage collector to run.