Fixing the documentation