fix implicit document reloading