Hello, I'm currently hacking the ZODB, and I've found that the close() method in DB.py which call close() on FileStorage is never called. Is this a bug ?