ICFP tweaks