fix comment: we're not assuming EOF!
add lab04b