Updating HEAD branch #4; Merging CABAL -> HEAD.