minor fixes
export expr.out