Doc fixes [thanks loic]