Merge branch 'fix_doc'

3 jobs for master
in 10 minutes and 20 seconds and was queued for 2 seconds