That ought to work
I still think the BIOS low level format will take care of it but the article's approach is a lot faster. If it doesn't work, try the low level format. Either approach will probably require you to run fdisk and then format.
