Fix missing ).