Fixes #3687: Check if the version exists before trying to use it
Fixes #3687: Check if the version exists before trying to use it
Merge pull request #371 from fanf/bug_3687/NoSuchElementError_exception_deleted_technique_version

Fixes #3687: Check if the version exists before trying to use it, display an error otherwise