fixing html error.  fixes #3708