Fix checking extv faults