Fix Request.js to support port number in urls (thanks to Rui Gil)