minor fix to the documentation

return value for ht_get_and_set() was wrongly documented