Update CloudFormation specs to reflect new API