More work on dirty flag propagation