Remove spurious )