Fix a copy'n'paste bug in the code documentation

6 jobs for fix-copy-n-paste-bug in 11 minutes and 9 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #73771
duneci
debian:10 clang-7-libcpp-17

00:07:26

passed #73770
duneci
debian:10 gcc-8-noassert-17

00:11:09

passed #73773
duneci
debian:9 clang-3.8-14

00:06:49

passed #73772
duneci
debian:9 gcc-6-14

00:06:43

passed #73774
duneci
ubuntu:16.04 gcc-5-14

00:04:51

passed #73775
duneci
ubuntu:18.04 clang-6-17

00:05:41