Re: A couple of HTML manual bugs