Minor debug code fix