Slight modifications to html