fix env-related bug introduced by previous sempred fix