simplify the handling of "{"