Clean up the docs a bit