Eliminate duplicate code in file.recurse

The same piece of code appears a few lines above.
This comes from 9c936d9.