We need some sort of write lock to make this sound. However, in practice, we only use this in a safe way, so it is a lower priority issue???...