Fix a mistake in the previous check-in.