Minor documentation fixes