typesetting after everyones small edits