minor fix in warning propagation