Variable name disambiguation fixing a bug