bug fix in record_list_functions.js