remove extraneous ))