Name of an input file in an example updated