Fix mistake in 130b6cd