Fix mistake instr instead of infile for console.log