Small changes to Bridge-fix.dfy