Merge branch 'fix-doc-warning' into 'master'

Fix a doc comment

See merge request !263
14 jobs for master in 59 minutes and 59 seconds (queued for 5 seconds)