[Synchronisation] Fix null pointer