Lint everything

As far as I can see, this doesn't break anything. I clicked around a bit and
everything works.