Fix body::getFiles()