Updated doc (forgot to put them in the previous commit)