a small change in naming of result files