Fixes dumpabc.js