FIX #2816 (correct unicode output for :type/:kind)