Commented out some debugging output