Fix jshint unhappiness (Thanks @Guiswa)