as a matter of style, avoid any2stringadd

so WartRemover can tell us if we do it accidentally