Strange behaviour in update button (v0.86 Beta II)

[jbo]

There is also a strange behaviour in the update button. Not clear what exactly. It sometimes updates and sometimes not.
However F8 works fine!