fix "unexpected end of file"