Small HTML fixes and documentation updates.