correct mistake in symbol renaming