Update non-blocking-synchronization.txt