BUGGY -- correcting inode_close