attempt to fix a codegen bug