Fix missing ")"