Tweaks in the update checker, fixes #5480