kleine toevoeging aan voorbeeld 5.4