doc bug fix for installing under linux