Deleted some debugging prints