solve a little bug in read_pickle_file