Minor, petri_hacks.cpp statics were declared in the wrong scope