extra semicolon removed
extra semicolon removed
more HTML documentation cleanup