Minor fixes to license display in SearchConc.cabal