commented out debug cout