[Echobase-commits] 09/12: fix doc (refs #6511)