Fix incorrect concatenation snippet.

The `wget` and `cat` were not consistent with filenames.