fix dumping file values