We should test that the filename is printed out.