formatting, debug message in cerr
(#12)