Should we be changing the second entry in this ?  (I can trivially cause the named file to exist, no matter how earnestly its name says otherwise.)