Added comment for with_file