Fix typos in Gitian instructions