Made an inclusion at 'FIXME: if the requested file is a directory, we should:...'