ADD: added debugging messages