Fixing up a bug in namespaced struct C codegen