As the `syncExec` calls are bad, can we at least change the code so there is only one of them, not 2 in a row?