Update syntax for cloudformation example