Fix rv32 bug