U: update coverage messages