Minor documentation improvements