Making very small changes to the html