documentation for `TVector` is missing