Fix mistake in 986e67d