Fix a minor, but annoying, warning in fetch script

One-line change, has been suggested for a long time now.

Change-Id: I9b906059cd056775fc78fe573c1b205d83bda22d