Cleanup

(Dummy PR because I'm lazy.)