dedis 6 fix