README: Tweak example (filenames).