Fixed an error reported by GCDH