Minor debug code