Some minor cleaning up.

What is that “considered modified” status in the File class? Some quick
tests seem to indicate that it is not necessary?…