Correcting the cabal extraction.