minor: fix a small bug that should only affect debugging output