Some more minor documentation fixes