Minor tweaks to emulated file code.

Followup to #632.