Fix subtle mistake in docs