Update istanbul.js

Syntax error.