added debugging printing