Minor fix to make jshint happy