name-hashing bug fixed...