Fix bug around excess ")"