Added a very small bit more to triDet.