tweak the docs a bit