In chapter [8. Navigation](https://w3c.github.io/webdriver/webdriver-spec.html#go#x8-navigation), section [8.1 Go](https://w3c.github.io/webdriver/webdriver-spec.html#go#x8-1-go): > Let url be the result of getting a property named url from the parameters argument. This step is done both in step 4 and 6. Is 6 supposed to be different or is it an accidental copy-paste?