bugfixes in catch_result block