Make small changes in the docs

1 job for small-changes in 3 minutes and 34 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Build
passed #198120
docker
build

00:03:34