Thanks! In fact this bug was already found and reported, and is already fixed on the CVS trunk:
[incompatible iterators)
For the record, there’s a “Bug tracker” link under the community tab above, which is the official channel for reporting bugs.
David