Fix missing )