minor correction [output.js]