included eof testing in test case
changed formatting