Hi Andres,
It seems that 5e89985928795f243dc287210c2aa016dfd00bfe left an extra
line in StrategyGetBetter(). Doesn't seem to be intentional. But it's
mildly confusing to miss a parentheses on that line. PFA patch fixing
it.
--
Best Wishes,
Ashutosh Bapat