Remove superfluous </html>