add debugging messages