Fix type dimensions not shown by texdoclet