Prevent duplicate PMNS names (related to issue #19).