fix a missing )