modif on scala source