tweak 025.hs