Read-only extents modified during undo -- bug?