Patched up the docs a bit