more info on Firefox refresh bug