Fix bug in freshName() leading to name clashes.