minor fix in wiki-page html