Fix too many parens in deftest snippet