some more debugging output to make stuff clear