Fix mistake in r190442.