linting

I also want to lint the rest of this file but I have no idea what will
explode and it's almost 1AM. Next time ;)