Fix some unicode printing business.