Documentation of race condition