Created a pull request on Github
https://github.com/aws/aws-cdk/pull/15438