Patching jshinting issues