remove spurious </html> tag