Fix C header