typos fix and reference to ubuntu 14 for mininet