commented out some debugging prints