small bugs in examples. defined additional arguments in eof, and dineof