Fixing up the documentation