fixes to GCD example