Since we have it themes probably should use the silently introduced printHeadTitle() function.