some debug code to understand why it doesn't work