Fix mention of default hash function