commented out debugging output