Add a few lines

on the standard file