Fix some Verilator warnings