Tiny cleanup. Fixing some memory leaks (why did I not notice so far that those free()s were commented out?).
