Fix small bugs in instrument.js