strange end of file behaviour in github