C coding style: indentation fixes