Doen: final revisions