Some documentation fixes after doing a fresh install on ubuntu 13.04