The example is correct *as is*.  I don't know if it's worth mentioning the two possible and valid forms for `file:` URIs, additionally:

* *file:///User/MicahMartin/fitnesse/ExternalFitNesseRoot*
* *file:/User/MicahMartin/fitnesse/ExternalFitNesseRoot*