Fix port number in the example HTML page