Step 3: html_header is OK