ERROR

URL rejected: Port number was not a decimal number between 0 and 65535

in: http://https:webassembly.github.iospeccoreexecvalid/instructions.html#valid-local-tee

to: http://https:webassembly.github.iospeccoreexecvalid/instructions.html#valid-local-tee