Add missing ")"

It's a mystery...