provide more debugging output (#5)