Tweak the docs a bit.