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