some print lines for debugging were deleted