be: fix phi constraints double width values