Minor changes as suggested by @Contra to make jshint happy.