Tex-opzet, randomzoekoperator, zoekoperator fix