bug fix, BType.toString()