fix ticket #3199 jshints