Fix docs a little.