Fix bug in ghc-sb