fixed example tyson model