Add some debugging lines
(#299)