remove altogether and place the header like in the other files of Gush project