Fixed formatting error in manual. Some changes to the makefile. Actually
no code changes, although a few source files were touched.