Fixed a debugging nit