commented out debugging outputs