Adding HTML file names for sections