more fixing HTML titles (made a mistake on the last one)