More debugging info
(#333)