Add some commented-out debugging lines