fix typo
stricter sanity check on auditee's trace
add a missing header