add specs for eof method.