Just to let you know - the PR has been merged and we'll release AWS 3.1.2 on Friday with the fix included. Thank you!