restore code erased by log conversion
Authored by: Jean-Francois Dockes 2016-07-13
Parent(s): [ed2b1d]
Child(ren): [0b0385]