Nit: this should cite the bug in question so a future reader of this code can find out why it wasn't guaranteed (and if that's been fixed since then).