Fix "verilator bug"