Minor fix in directory.h