Fixing mantel.file and documentation