Fix up docs a little