Quiet complaints from jshint.

The only slightly messy thing is handling JSONEditor, but the ugliness
was already there; this just makes it explicit.