time of output added; some docs improvements