* small fixes to make jshint happier