[Observe-commits] 16/17: fix decorateur (refs #7622)