Added several changes to the doc

Almost done now.