Don't insert a duplicate name (fixes #1)