fix error in docs for has_key