Very small "cleaning" of some C files