Symbolic name generation bugfix