Re-fixed issue 14.

That's the one with the file modification status being incorrectly reported.