Fixed another error in the necessity transformer, a doc change.