I'm guessing that the issue is caused by the ami_launch_index. If it changes at some point, then yes, we might end up with nodes with the same name/alias.