Slight improvements to lazy io docs