By looking at the link posted, there was no option to repair at that particular menu after it found the previous version, so I guess it was pretty f-ed.