Fix ecli:opt/2