Fix an error in codegen.