Changing some details about the doc generator