Tweak docs a bit.