A few minor tweaks to @saivann's double spend revisions

Note: github is showing some changes @saivann made in a different commit as changed by me.  I don't know why that is.