This should still be an error because line 10 is `"/*jslint maxerr: 0 */"` and this patch only handles the `indent` option. I may have a look at expanding it to cover all of the similar options too though.