Yes, it happened 3 times, I will try once more just to be sure.
Not that it really is a problem, because my phone is working fine without using the baseband switcher app.
Edit: apparently you're right, I guess it has something todo with the combination of restoring phone settings and then...