Small fix in AbstractDataType.toString();