Formalization kleine aanpassingen