fixing up a few nits on the docs