duplicate name should cause error