Make console.log call dump("\n") separately.