I did not, but a subsequent run of jshint doesn't catch this one. Either way, you're right that we should be consistent. I asked Garth to change this on the backend - I'll change it here on the front-end as well.