I had tried deleting the theme entirely to reinstall it a few times. It worked but I still got the problem described above when updating. Strangely, manually deleting the theme’s directory to, later, reinstall it seems to have fixed the problem. Updating to v. 1.0.2 was successful. Thanks for your help.
I didn’t download v. 1.0.2 from their website, I rather wanted to state I downloaded the theme (v. 1.0.1) from the developers’ website, not an obscure mirror. I’m sorry my post was a bit confusing in this respect.
