Bug fix for bug #721

std::hash just won't hash most things.