Formatting tweak to make jshint happy.