Fix mistake in documentation