Documentation tweaks

Just a couple minor things. Silence a warning, and update the version number in the docs.