verilator: fixed bug