Added missing PostedExpr wrapper