Fix small mistake in documentation