You're right, and the HTML doc title is often a better choice. In this case it was more baity, though, so we swapped it out for the page heading.