minor fix in s3