minor fix in get_value