Fix 38b5bdaf1878ca1d7ca1ad46272bfa2e2b1abe03

ifish12 forgot to remove the closing paren.