Minor fixes to summary file generation and lower bound for leak size