This seemed the most obvious thing to do, and she did do this, however the second machine informed her that it could not issue the tickets as they had already been printed, which they obviously hadn't. This is why she went to the information desk, to gain advice as to how to get the ticket...