HTML cleanup

Some minor HTML stuff (unmatched tags, etc.) cleaned up.