fix up docs a bit.