bugfix: The choice for verbose exploration is now complete