Fixed small bug in the TDTException class.