Final fix for jshint