Fixed both. Want a pull-request, or shall I just push directly to master, since they are tiny changes?