Fix errors with file includes in the programmer's guide.