The overriding royalties, in my opinion, don't fall under that paragraph. I'd argue they weren't divided and need to be.
I am not intending this to be legal advice, because I don't know the particulars of your situation. Call me if you would like to discuss this or other isues.
Sign up to receive a 10-part series of useful information and legal advice about the divorce process.