A few cleanups for our documentation