Fix minor errors in HTML presentation.