a bit of debug code