[Echobase-commits] 03/03: fixes #6509