fix for missing_destext