another small fix in file tree