add debugging print messages