fixing bad ref to reasoning header