Fix two trivial HTML bugs.