Fixed bug in C codegen