Unrelated formatting to please jshint