runtime: little details about propagate_tags