Normally it would. But I can't say it was because normally this would be all cleaned up before they signed so I am not sure what happened here. Not saying it wasn't. Just not sure like you are. We will find out.
Even if not disclosed, HIRU lawyer would have found out within an hour or two. Not difficult if you know where to look and are willing to pay for copies of filings.