Fix the docs a little