added debugging output