Copy changes by A. Waterman in manual over to tutorial concerning sequential memory reads