Fix bug in eval_thunk_selector()