Fix some indentation in generated C code