On: Minor bug and patch: isDirectoryEmpty behaviour

December 2014