Fix up Mina State Machine example.