Bugfix: Automatic history refresh

If history refresh has been requested and not yet completed, do not request another refresh. Request it afterwards, if still necessary.