003_gcd: minor tweaks to get verification working
003_gcd: minor bug fix