Minor documentation fixes for R0.9.5pre.