The comma preceding
$
TEXDVI:
stands for an empty string.