Other documentation fixes