Tweak in Main.ml by Freek.