add debugging outputs