* demos/simple_refactoring.ml: fix