DOC: Fixed unrelated documentation mistake.
Failed
Daniel Hornung
created pipeline for commit 98557089
, finished
1 related merge request: !113 F doc loadfiles
2 minutes 51 seconds, queued for 7 seconds