Fix for weird results from jshint