The fix is trivial (though it involves some Javascript). After the new title is saved, change the document's title.
The fix is trivial (though it involves some Javascript). After the new title is saved, change the document's title.