Some doc changes after installing from scratch on ubuntu 13.04