Touch up the extended Euclidean algorithm description a little.