Issue 7177: The console does not run "document.location.replace" correctly

https://code.google.com/p/fbug/issues/detail?id=7177