Allow old postcircumfix:<( )> to work too, for now