Tidy up docs a bit.