More documentation fixes