Correct a few typos + add verilog include path