issue #20715: prevent duplicate-naming error