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