Minor documentation improvements.