File modified status (*) out of sync on title bar in Linux

Very minor bug -  In Linux, when a file is modified or saved with ctrl+s, an asterisk is added to or removed from the tab, but not always in the title bar. The tab title always reflects the proper state, whereas after this happens the title bar shows the opposite state as the tab (i.e. ctrl+s adds an asterisk, modifying removes it), until they are resynchronized (either by producing the bug again, or switching tabs).