remove extra ) from s_expr_pretty TIf