Merge branch 'docfix-ex1_2' into 'master'

Docfix ex1 2

See merge request !164
1 job for master
in 84 minutes and 4 seconds, using 0 compute credits, and was queued for 5 seconds