Update otterexample.urp