trying to fix #2636
trying to fix #2636

lino-framework/lino,lino-framework/lino,lino-framework/lino,lsaffre/lino,lino-framework/lino,lino-framework/lino,lsaffre/lino,lsaffre/lino,lsaffre/lino,lsaffre/lino