Minor fix in the cabal file