Fix trivial nits in documentaion