A few minor documentation fixes