Fix a bug in GraphUtil.