I'm assuming FileStream.dispose() does a close of the file stream, is that correct?