fixed a random name-collision bug