minor fix: out_s3.txt