Tiny fixes to verilog parser