If an empty file is read, we want to deal with it in later user code rather than just failing immediately.