Fix another mistake in r190442.

Sorry about that; I'll try to be more careful about DEBUG mode.