Some minor documentation fixes