Fixed the port no. in the readme.

README.md

@@ -47,5 +47,5 @@ The docker images download the following software:
 
 ## Testing
 
-We require a client to install [our Firefox browser extension](https://git-crysp.uwaterloo.ca/miti/browser-extension) to test our server-side setup. The last script opens up the port on which the Mitigator server is running within the docker container (port 8001). The server form page can be retrieved on the server machine by accessing `http://server_address:8001/index.php`. The browser extension will automatically encrypt all form fields to the decryptor enclave when the submit button is pressed.  
+We require a client to install [our Firefox browser extension](https://git-crysp.uwaterloo.ca/miti/browser-extension) to test our server-side setup. The last script opens up the port on which the Mitigator server is running within the docker container (default port 80 for http). The server form page can be retrieved on the server machine by accessing `http://server_address/`. The browser extension will automatically encrypt all form fields to the decryptor enclave when the submit button is pressed.