Add a missing )