alt-ergo-bench
Fixes.