Fixed a debugging mistake.