We should test that the line numbers are printed out.