Issue #8930: fix some C code indentation
3 files changed