Further problem-desc cleanup.
Merge pull request #126 from vexorian/htmlclean

Further problem-desc cleanup.