Minor HTML change.

No notes.