fix #7198, faster access to fully-qualified names