This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In 6.6.10 "History traversal", step 4 says: If the specified entry has a different Document object than the current entry then the following substeps: After "then", insert "run".