Fixing mistake in documentation