A tiny bit of work on the documentation