Foutmelding bij gebruik sneltoets voor Uitgebreid zoeken

Bij het Uitgebreid zoeken kon je een foutmelding krijgen als je de sneltoets Ctrl+Enter gebruikte. Dit hebben we verholpen.