Cleaned up a minor issue in debug code