Merge branch 'docfix-ex1_7' into 'master'

Docfix ex1 7

See merge request !144
1 job for master
in 14 minutes and 23 seconds, using 0 compute credits, and was queued for 0 seconds