Improve docs a tiny bit.