a fix for an NPE in NameManager