Fix this FileId constructor.

Another latent bug in a prep patch for #603.