Bankruptcy Law Questions? Ask a Bankruptcy Lawyer.
Since the fee to amend the Bankruptcy petition is only $26, it does make sense to add this lender to the paperwork. It does sound like there is fraud involved, or possibly a mistake.
However, in the long run, it will probably cost less to deal with it now, by filing an amendment. This way you won't have to spend money in the future to prove you never owned the property.