small modif after migration to git from svn