Minor style correction in generated js to make it more compatible with jshint