Remove superfluous ).