Yes, this is susceptible to the problem you mention. I could change that string to something that is not a valid filename, such as ":single source:". I had originally tried to do this in a more principled way, but it made the code quite laborious.