minor changes to clics.tex, since double )) don't look good in pubs