The file is tiny.