fix broken indentation of C code