Moved comments from HTML to PHP to avoid undefined symbols