Documentation tweaks

Just a couple minor things in the documentation.