Small fix for the main html file