Fix for the document bug of config.sgmlin.   Wrong character was used
for ID.