Noah Misch spotted the fact that the old comment is in fact incorrect, due
to memory ordering hazards.