Reorder doc and add a note about assertions