Small updates to the HTML GUI