Michael> Of course. Closing the file should be handled separately Michael> from regular deregistration. A new patch (below) fixes Michael> that. This looks better than my approach. Let me make sure it covers everything, but it definitely seems simpler. - R.