Included new Robodoc headers. Some modifications to previous robodoc headers.