More changes to main.dox