Just fixing up the docs a bit...