small modifications on the input file