Some cleanup in page.html