fixup c formatting