Minor changes to certain HTML bugs.