Another cleanup

Also, the bot stopped working in the last commit. I have no idea why