Fix mistake in documentation.