@simong: I think this is the culprit of the double slash issue