Yup thanks that's a bug in the code generator, I thought we already had a bug report for that but I can't find it now.
I'll double check again and get an issue raised for this, should be a very quick fix.
No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.