Fix in the simple examples for Mocassin