That is a good one. I didn't modify the code for closing the stream, so I didn't check it. I'll fix it.