Fixing a typo

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Let's not doall EL-exploration

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>