- deleted useless EOF-labels and EOF calls