a bit of debug logging