(more cosmetics)
bug fix w.r.t. Guava v11