mongo-alignment: Minor changes in file fetch.