It should be easy to check. Go to Electrum console and try something like


I've got the address from your first RBF tx.
If the answer is yes, you did right. If it's no, you may be missing something.