fixing a bug of ghc-debug.