Petri fixes