Fix small issue in GCD