Fix Cabal layer messages