this is an automatic formatting by scalariform (in eclipse), only when there is `;`
there is no setting for disabling this so I think we have to live with it