added debugging print