* Report fault types not being propagated