Fix synchronization issue with ShareLaTeX