https://google.com/:443 isn't a valid URL, even if it were Google wouldn't identify as 'PAUSE'. If you're going to copy and paste an example, it doesn't make sense to edit it so that it doesn't work.