minor bug fix to the implementation of Directory_Entry