format source.
Fix bug in read_file() for zero length file.