Add some "magic" to the port setter to match more browsers. https://www.w3.org/Bugs/Public/show_bug.cgi?id=23535