Fix bug in NameCompressor

All in the title.