#15: add some debug info