Decide whether a body is html by looking at the body we are actually going to use, rather than the body we were originally given. We may have given it an html wrapper a few lines earlier.