Thank you. I hadn't appreciated the importance of the difference between "page file name" and "page title".