more debug info on std output