Working on the main documentation