est.coi.um: Fix problem in example