fix option aliases that were previously unusable due to an undocumented inconsistency in the Thor api