Some minor changes to improve exercise1.mll