fixing a small bug with the )