Small cleanup. Not really worth commiting