Editorial changes in the programmers manual.