Commented out some debugging prints