Fix typo in debug code