Make it obvious that file * isn't used here