bad-body.html in an early release of Navigator 4.