Add a missing ")"