I fixed the index entry by hand by comparison to another repository, and bzr check passes and everything seems ok. I think we should still consider that patch though. -- Martin