Fix prefix's ability to contain //, as in https://