Fix mistake in f9e4230