Fix dumprestore7.js