Fixing defect in example_file.sah